Büchi automaton

Results: 70



#Item
51Analysis of Recursive State Machines RAJEEV ALUR University of Pennsylvania MICHAEL BENEDIKT Bell Laboratories KOUSHA ETESSAMI

Analysis of Recursive State Machines RAJEEV ALUR University of Pennsylvania MICHAEL BENEDIKT Bell Laboratories KOUSHA ETESSAMI

Add to Reading List

Source URL: cm.bell-labs.com

Language: English - Date: 2005-08-18 15:37:21
52Computability Theory for Neuroscience by Doug Rubino Abstract Neuronal circuits are ubiquitously held to be the substrate of computation in the brain, information processing in single neurons is though of in terms of enc

Computability Theory for Neuroscience by Doug Rubino Abstract Neuronal circuits are ubiquitously held to be the substrate of computation in the brain, information processing in single neurons is though of in terms of enc

Add to Reading List

Source URL: www.isn.ucsd.edu

Language: English - Date: 2008-03-26 15:55:05
53A Framework for Formally Verifying Software Transactional Memory Algorithms Mohsen Lesani1 , Victor Luchangco2, and Mark Moir2 1 University of California, Los Angeles, USA

A Framework for Formally Verifying Software Transactional Memory Algorithms Mohsen Lesani1 , Victor Luchangco2, and Mark Moir2 1 University of California, Los Angeles, USA

Add to Reading List

Source URL: www.cs.ucla.edu

Language: English - Date: 2012-07-13 22:02:23
54Symposium on Theoretical Aspects of Computer Science[removed]Bordeaux), pp[removed]www.stacs-conf.org EFFICIENT MINIMIZATION OF DFAS WITH PARTIAL TRANSITION FUNCTIONS ANTTI VALMARI

Symposium on Theoretical Aspects of Computer Science[removed]Bordeaux), pp[removed]www.stacs-conf.org EFFICIENT MINIMIZATION OF DFAS WITH PARTIAL TRANSITION FUNCTIONS ANTTI VALMARI

Add to Reading List

Source URL: drops.dagstuhl.de

Language: English - Date: 2008-02-05 08:15:37
55An Introduction to Input/Output Automata Nancy A. Lynch and Mark R. Tuttle Massachusetts Institute of Technology Cambridge, Mass[removed]November 18, 1988

An Introduction to Input/Output Automata Nancy A. Lynch and Mark R. Tuttle Massachusetts Institute of Technology Cambridge, Mass[removed]November 18, 1988

Add to Reading List

Source URL: www.markrtuttle.com

Language: English - Date: 2007-04-26 00:00:00
56Time-Constrained Automata (Extended Abstract) Michael Merritt AT&T Bell Laboratories

Time-Constrained Automata (Extended Abstract) Michael Merritt AT&T Bell Laboratories

Add to Reading List

Source URL: www.markrtuttle.com

Language: English - Date: 2007-04-26 00:00:00
57On the Synthesis of Discrete ?Controllers for Timed Systems (An Extended Abstract) Oded Maler1 Amir Pnueli2 Joseph Sifakis1 1

On the Synthesis of Discrete ?Controllers for Timed Systems (An Extended Abstract) Oded Maler1 Amir Pnueli2 Joseph Sifakis1 1

Add to Reading List

Source URL: www-verimag.imag.fr

Language: English - Date: 2012-12-31 04:25:31
58Symbolic Model Checking without BDDs? Armin Biere1 , Alessandro Cimatti2 , Edmund Clarke1 , and Yunshan Zhu1 1 Computer Science Department, Carnegie Mellon University 5000 Forbes Avenue, Pittsburgh, PA 15213, U.S.A

Symbolic Model Checking without BDDs? Armin Biere1 , Alessandro Cimatti2 , Edmund Clarke1 , and Yunshan Zhu1 1 Computer Science Department, Carnegie Mellon University 5000 Forbes Avenue, Pittsburgh, PA 15213, U.S.A

Add to Reading List

Source URL: fmv.jku.at

Language: English - Date: 2014-06-26 06:44:43
59Propositional Tree Automata Joe Hendrix1 , Hitoshi Ohsaki2 , and Mahesh Viswanathan1 1

Propositional Tree Automata Joe Hendrix1 , Hitoshi Ohsaki2 , and Mahesh Viswanathan1 1

Add to Reading List

Source URL: maude.cs.uiuc.edu

Language: English - Date: 2006-03-01 13:27:55
60Tree-Walking Automata Do Not Recognize All Regular Languages Mikolaj Bojanczyk

Tree-Walking Automata Do Not Recognize All Regular Languages Mikolaj Bojanczyk

Add to Reading List

Source URL: www.mimuw.edu.pl

Language: English - Date: 2011-11-07 04:39:25